Succ function

  DECLARATION:  Succ(X);

      PURPOSE:  Returns the successor of the argument

         UNIT:  System

  RESULT TYPE:  Same as argument

      REMARKS:  X must be an ordinal-type expression.  The result will be
                of the same type as X and the successor of X.